#! /bin/bash

#
# Check Linux 2.6.31 X86_64 translation without explicit version,
# using page table content alone; get the page table address from
# CR3 (so phys_base can be unspecified).
#

opts=(
    arch=x86_64
    ostype=linux
)

. "$srcdir"/xlat-os-common
